<div>
    Ignore case when scanning task identifiers.
</div>